Наукова електронна бібліотека
періодичних видань НАН України

Перегляд за автором "Мороховец, М.К."

Репозиторій DSpace/Manakin

Перегляд за автором "Мороховец, М.К."

Сортувати за: Порядок: Результатів:

  • Алгоритм Очевидности Глушкова 
    Летичевский, А.А.; Лялецкий, А.В.; Мороховец, М.К. (Кибернетика и системный анализ, 2013)
    Розглядаються загальні підходи В.М. Глушкова до проблеми штучного інтелекту. Зокрема, детально висвітлюється історія досліджень за програмою «Алгоритм Очевидності», ініційованою В.М. Глушковим. Аналізуються результати, ...
  • Киберфизические системы: лингвистический аспект 
    Годлевский, А.Б.; Мороховец, М.К. (Кибернетика и системный анализ, 2020)
    Предложен подход к проектированию систем управления техническими объектами, особенностью которого является лингвистически управляемое проектирование. Представлена разработанная на основе этого подхода методика проектирования ...
  • Международный симпозиум «Автоматы, алгоритмы и информационные технологии» 
    Мороховец, М.К. (Кибернетика и системный анализ, 2010)
    С 19 по 21 мая в Киеве (Украина) проходил Международный симпозиум «Автоматы, алгоритмы и информационные технологии», приуроченный к 75-летнему юбилею академика НАНУ Александра Адольфовича Летичевского.
  • Методика разработки и средства формализации функциональных спецификаций систем и устройств 
    Годлевский, А.Б.; Мищенко, Н.М.; Мороховец, М.К.; Фелижанко, О.Д.; Щеголева, Н.Н. (Кибернетика и системный анализ, 2016)
    Предложен подход к построению функциональных спецификаций и к автоматизации перехода от спецификаций на естественных языках к формальным моделям в формате, удобном для последующих верификации этих моделей и валидации ...
  • Новые функциональные возможности системы обработки естественноязыковых спецификаций и среда ее функционирования 
    Мищенко, Н.М.; Мороховец, М.К.; Фелижанко, О.Д.; Штелик, Е.В.; Щёголева, Н.Н. (Кибернетика и системный анализ, 2018)
    Описана среда функционирования языкового процессора, предназначенного для обработки моделей поведения систем, представленных на естественном языке. Данная среда обеспечивает настройку языкового процессора, основным этапом ...
  • Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования 
    Летичевский, А.А.; Герман, В.Н.; Мороховец, М.К.; Щеголева, Н.Н. (Кибернетика и системный анализ, 2010)
    Описано програмні засоби паралельного пошуку логічного виводу у пропозиційному численні та подано результати експериментів з ними. Програмні засоби розроблено на базі системи алгебричного програмування АПС та кластерного ...
  • Система доказательного программирования 
    Летичевский, А.А. (мл.); Мороховец, М.К.; Песчаненко, В.С. (Управляющие системы и машины, 2012)
    Описаны методы доказательства правильности программ в системе инсерционного моделирования, ее архитектура и функциональные возможности, даны основные сведения о нем. Рассмотрена инсерционная машина метода Флойда, методы ...